不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
前几天的 苹果发布会，算是近年来最名副其实的「科技春晚」了，尤其是 iPhone 17 和 iPhone Air 相当令人期待——当然了，没有 AI。 即使不强调 AI 卖点，这次的新品依然获得了显著
本周五，Meta AI 团队正式发布了 MobileLLM-R1。 这是 MobileLLM 的全新高效推理模型系列，包含两类模型：基础模型 MobileLLM-R1-140M-base、MobileLLM-R1-360M-base、MobileLLM-R1-950M-base 和它们相应的最终模型版。
AI是否会在5年内破解黎曼猜想？是否会保持每年5x的算力扩张节奏？十年后，AI将把我们带向一个什么样的世界？近日，Epoch AI负责人Jaime Sevilla，与数据与分析负责人Yafah Edelman在对话中，为我们揭示了未来十年AI发展的路线图。
打开一个看似由哈佛、全球 AI 安全研究机构背书的网站，你会以为自己进入了一个拯救人类的严肃计划。 结果……你在这个页面上多停留了十几秒，页面背景悄悄浮现出一个单词：「bullsh*t」。 仔细看动图
Ditto是一个由伯克利辍学生Allen Wang和Eric Liu创立的人工智能约会平台，已筹集了160万美元，Allen Wang在4月通过Linkedin宣布，以“杀死Tinder为使命”的Ditto AI已拿到来自Google的200万美元融资。
AI 编程初创公司 Replit 在一轮融资中成功筹集 2.5 亿美元，估值达到 30 亿美元。普信资本（Prysm Capital）正领投本轮融资，美国运通风投（Amex Ventures）和谷歌 AI 未来基金（Google’s AI Futures Fund）等投资机构参与其中。
柏林AI 游戏初创公司 Born 的联合创始人兼 CEO Fabian Kamberi 认为，目前市场上的 AI 伴侣产品本质上具有剥削性，其设计旨在通过用户与 AI 聊天机器人之间的一对一关系来孤立用户。
想象一下，如果 ChatGPT 等 AI 大模型在生成的时候，能把自己不确定的地方都标记出来，你会不会对它们生成的答案放心很多？
Meta 已签署一份价值超 1 亿美元的多年度合同，将使用 AI 图像初创公司 Black Forest Labs 的技术，这是这家社交媒体公司为扩展人工智能服务的最新投资。
